]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56c118d) | patch
workspace: Adjust spacing
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 22 Oct 2020 22:49:03 +0000 (00:49 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 1 Feb 2021 20:06:13 +0000 (21:06 +0100)
commit2bd91e738ed7c04291ae5e596949b3f07fedb3f2
treea2e78375bcfa8844dd42582ca839453cd81be6cbtree | snapshot
parent56c118de8738c2593273606383f5972641eaf25dcommit | diff
workspace: Adjust spacing

Icons are always visible, so in order to not have overlays overlap
with other previews, we need to consider the sum of top- and border
oversizes rather than the maximum.

https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/81

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1605>
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.